semi-ordered relation